co-verification相关论文
针对数字信号处理器的不同仿真和验证要求,提出了一种可测性软硬件协同仿真和验证平台的设计.采用可配置IP模块和总线结构,实现了......
为了提高嵌入式系统的开发效率和设计可靠性、提供在获得硬件原型之前的虚拟集成验证手段,本文引入了软硬件协同验证的概念,提出了......
基于C仿真策略建立了一种新的SoC软／硬件协同验证环境．利用此验证环境，针对计算密集型应用，提出了一种低成本的软／硬件协同设计方法．针对......
SoC基于IP设计的特点使验证项目中多语言VIP（Verification IP）协同验证的需求不断增加,给验证工作带来了很大的挑战.为了解决多语言V......
介绍了基于C*Core的SoC及相应的协同验证平台,提出了一种基于C*Core的SoC软硬件协同设计流程及验证方法,具有降低设计风险和缩短产......
文章通过对Summit设计公司的Visual Elite ESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此......
直接从规范需求描述入手，研究了嵌入式系统设计中的模型映射、代码自动生成、协同验证和性能优化等关键技术问题，提出了以模型驱动的......
现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证.文中将软件验证环境与硬件加速器相结合,组成......
针对嵌入式系统设计中缺乏高层设计环境，系统规范描述依赖于具体模型等特点，提出了需求驱动的嵌入式系统中的软硬件协同设计方法，研究......
